/*
 * boot.h
 *
 *  Created on: Sep 19, 2013
 *      Author: Ken Arok
 */

#ifndef BOOT_H_
#define BOOT_H_


/** \brief System booting.
 *
 */
void vSystemBoot(void);

#endif /* BOOT_H_ */
